Solving the TTC 2011 Reengineering Case with GrGen.NET

The challenge of the Reengineering Case is to extract a state machine model out of the abstract syntax graph of a Java program. The extracted state machine offers a reduced view on the full program graph and thus helps to understand the program regarding the question of interest. We tackle this task employing the general purpose graph rewrite system GrGen.NET (www.grgen.net).Comment: In Proceedings TTC 2011, arXiv:1111.440

The effect of ultra-violet and infra-red rays upon the fission rate within a single clone of paramecium caudatum and the heritability of that effect.

Light in its various phases exerts a marked influence on the functional as well as the physical structure of all living matter. The phenomena of light involves two theories: (1) the wave or electro-magnetic theory conceiving light as consisting of electric emanations or waves of various frequencies and intensities given off from many substances. (The principle source of light as thus conceived is the sun with its estimated temperature of 10,000 F.); (2) the quantum theory which conceives light as a factor involved in ionization in chemical reactions (negative electrons are ejected from a surface of metallic iron when a strong light is focused upon it; i. e., the light causes a quantum of ionization in the iron.) Figure 1 is a diagram showing some of the important physical properties of light

Solving the TTC 2011 Compiler Optimization Task with metatools

The authors' "metatools" are a collection of tools for generic programming. This includes generating Java sources from mathematically well-founded specifications, as well as the creation of strictly typed document object models for XML encoded texts. In this context, almost every computer-internal structure is treated as a "model", and every computation is a kind of model transformation. This concept differs significantly from "classical model transformation" executed by specialized tools and languages. Therefore it seemed promising to the organizers of the TTC 2011, as well as to the authors, to apply metatools to one of the challenges, namely to the "compiler optimization task". This is a report on the resulting experiences.Comment: In Proceedings TTC 2011, arXiv:1111.440

Detecting Elusive Intermediates in Carbohydrate Conversion: A Dynamic Ensemble of Acyclic Glucose-Catalyst Complexes

The role of acyclic carbohydrates in pathways toward value-added chemicals has remained poorly characterized due to the low population of acyclic forms, and due to their instability under reaction conditions. We conduct steady-state and pre-steady-state measurements by direct reaction progress monitoring with sensitivity-optimized NMR spectroscopy in the molybdate-catalyzed epimerization of glucose to mannose. We detect an exchanging pool of at least 5 acyclic glucose–catalyst complexes under near-optimum reaction conditions. In the presence of catalyst, the acyclic glucose population increases within few seconds prior to reaching a steady state. Exchange between the acyclic intermediates increases under conditions that favor epimerization. Species accounting for less than 0.05% of total glucose can be monitored with subsecond time resolution to allow kinetic analysis of intermediate formation and catalytic conversion. Epimerization occurs 2–3 orders of magnitude faster than the binding of acyclic glucose to the catalyst under near-optimum reaction conditions. The current study brings insight into the nature of acyclic intermediate-catalyst complexes of very low population and into experimental strategies for characterizing very minor intermediates in carbohydrate conversion to value-added compounds

Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT

In this short paper we present our solution for the Compiler Optimization case study of the Transformation Tool Contest (TTC) 2011 using the QVTR-XSLT tool. The tool supports editing and execution of the graphical notation of QVT Relations languageComment: In Proceedings TTC 2011, arXiv:1111.440

Accelerating the analysis of optical quantum systems using the Koopman operator

The prediction of photon echoes is an important technique for gaining an understanding of optical quantum systems. However, this requires a large number of simulations with varying parameters and/or input pulses, which renders numerical studies expensive. This article investigates how we can use data-driven surrogate models based on the Koopman operator to accelerate this process. In order to be successful, we require a model that is accurate over a large number of time steps. To this end, we employ a bilinear Koopman model using extended dynamic mode decomposition and simulate the optical Bloch equations for an ensemble of inhomogeneously broadened two-level systems. Such systems are well suited to describe the excitation of excitonic resonances in semiconductor nanostructures, for example, ensembles of semiconductor quantum dots. We perform a detailed study on the required number of system simulations such that the resulting data-driven Koopman model is sufficiently accurate for a wide range of parameter settings. We analyze the L2 error and the relative error of the photon echo peak and investigate how the control positions relate to the stabilization. After proper training, the dynamics of the quantum ensemble can be predicted accurately and numerically very efficiently by our methods

Saying Hello World with GReTL - A Solution to the TTC 2011 Instructive Case

This paper discusses the GReTL solution of the TTC 2011 Hello World case. The submitted solution covers all tasks including the optional ones.Comment: In Proceedings TTC 2011, arXiv:1111.440